Boundary of Deduction